Normal number (Normal number (Normal number (Sangsoo Jeong))))